61. CliffsNotes using your first PC /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer literacy.,Computers.,Internet.,Microsoft software.,Computer literacy.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Computers.,Internet.,Microsoft software.

رده :
QA76
.
5
.
M14
1999eb

62. CliffsNotes writing your first computer program /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Computer programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.

رده :
QA76
.
6
.
W928
2000eb

63. Co-design for system acceleration :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer interfaces.,Memory management (Computer science),System design.,Computer interfaces.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Hardware.,Ingénierie.,Interfaces.,Memory management (Computer science),Parallelle verwerking.,Programmatuurtechniek.,System design.

رده :
QA76
.
9
.
S88
N43
2007eb

64. Cocoa programming for Mac OS X

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Operating systems (Computers) ; Macintosh (Computer) ; Programming ; Cocoa (Software framework) ; Mac OS ;

65. Code craft

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;

66. Code/space :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Social aspects.,Computers and civilization.

رده :
QA76
.
9
.
C66
K48
2011

67. Collaboration and Technology

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Information retrieval,بازیابی اطلاعات,a05,a05,Groupware (Computer software) -- Congresses.,Computers and Society

رده :
HD
66
.
2
.
C6
2015
E-Book
,

68. Compiler Technology

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Operating systems (Computers),Software engineering.

69. Complete computer concepts

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computers , Computer software

رده :
QA
76
.
5
.
C61253
1992

70. Computer-aided design of language processors

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(

رده :
QA
76
.
76
.
T83
S53

71. Computer-aided verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer software - Verification , Electronic digital computers - Evaluation

رده :
QA
76
.
76
.
E93
C65
1993

72. Computer-aided verification

موضوع : Computer software-Verification,Electronic digital computers - Evaluation

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

73. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
663

74. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation

رده :
QA
76
.
76
.
E93
.
C38
1993

75. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses

رده :
QA
76
.
76
.
V47
C38
1993

76. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
575

77. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
1855

78. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
2404

79. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
697

80. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
1254